Software Instrument Logic